package solveur;
import programme.Programme;
import programme.Solution;

/**
 * Classe d'interface générique pour les solveurs externes à l'application.
 * 
 *
 */
public interface SolverInterface {

	/**
	 * Méthode d'appel de résolution du programme. 
	 * @param p	Programme à résoudre
	 * @return	Vrai si une solution est trouvée, faux sinon.
	 */
	public Solution resoudre(Programme p) throws Exception;
	
	
}
